$\forall$${\it Cmd}$:Type, ${\it from}$:Id, ${\it cmds}$:(${\it Cmd}$ List). csupdate(${\it from}$;${\it cmds}$) $\in$ chain\_sys(${\it Cmd}$)